161. Logic and algebra of specification
Author: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35N37
1991
162. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008
163. Logic and automata
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
164. Logic and computer science
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, symbolic and mathematical ► Computer programs- Corretness
Classification :
511
L832
165. Logic and computer science
Author: edited by Piergiorgio Odifreddi
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Computer science
Classification :
QA
9
.
L5
1990
166. Logic and discrete mathematics :
Author: Willem Conradie, Valentin Goranko.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
167. Logic and discrete mathematics: a computer science perspectine
Author: Grassmann, Winfried Karl
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, Symbolic and mathematical ► Computer science-mathematics
Classification :
005
G878l
168. Logic-based artificial intelligence /
Author: edited by Jack Minker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Logic, Symbolic and mathematical.,Intelligence artificielle.,Logique informatique.,Logique symbolique et mathématique.,Artificial intelligence.,Computer logic.,Künstliche Intelligenz,Logic, Symbolic and mathematical.,Mathematische Logik
Classification :
QA76
.
9
.
L63
L62
2000
169. Logic for applications
Author: Nerode, Anil
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
N47
1997
170. Logic for applications
Author: / Anil Nerode, Richard A. Shore
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science-mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
,
N47
1997
171. Logic for applications /
Author: Anil Nerode, Richard A. Shore
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
N47
1997
172. Logic for problem solving
Author: Kowalski, Robert
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Problem solving,، Electronic digital computer-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
63
.
K68
173. Logic for problem solving. [CD]
Author: / Robert Kowalski
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Problem solving,Computer programming,Logic, Symbolic and mathematical
Classification :
QA63
.
K68
174. Logic from computer science
Author: Y.N. Moschovakis, editor
Library: Vali Asr University Central Library (Kerman)
Subject: Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
Classification :
QA
9
.
A1
,
L64
1991
175. Logic from computer science
Author: Y.N. Moschovakis, editor
Library: Vali Asr University Central Library (Kerman)
Subject: Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
Classification :
QA
9
.
A1
,
L64
1991
176. Logic from computer science : Proceedings of a Workshop held November 13-17, 1989
Author: Yiannis Moschovakis, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
Classification :
QA
9
.
A1W65
1989
177. Logic from computer science : proceedings of a workshop held November 13-17, 1989
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses
Classification :
QA
9
.
A1
.
L64
1991
178. Logic from computer science : proceedings of a workshop held November 13-17, 1989
Author: Y.N. Moschovakis, editor
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
Classification :
QA
1
.
M3
v
.
21
179. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
S9393
2001
180. Logic, language, information and computation
Author: Luke Ong, Ruy de Queiroz (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
W64
2012eb
